Trong không gian tô pô, bổ đề Urysohn phát biểu rằng trong một không gian topo chuẩn tắc, hai tập con đóng rời nhau có thể tách nhau bằng một hàm số thực.Bổ đề Urysohn thường được sử dụng để xây dựng các hàm liên tục với các tính chất khác nhau trên các không gian chuẩn tắc. Nó được áp dụng rộng rãi vì tất cả các không gian metric và không gian Hausdorff compact đều chuẩn tắc. Bổ đề thường được sử dụng trong chứng minh cho định lý mở rộng Tietze. Bổ đề được đặt tên theo nhà toán học Pavel Samuilovich Urysohn.